Buy Used and New Dines Bjørner Books

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211495

Format: Illustrated (754 pages)
Publisher: Springer
Published: 19 Dec 2005

Save for later

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783642059391

Format: Paperback (756 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner,Martin C. Henson

ISBN 13: 9783642093456

Format: Paperback (648 pages)
Publisher: Springer
Published: 22 Nov 2010

Save for later

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783642059407

Format: Paperback (804 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783642059414

Format: Paperback (800 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783030734831

Format: Hardcover (419 pages)
Publisher: Springer
Published: 18 Dec 2021

Save for later